Danos, Vincent: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization

Misirli, Goksel, Cavaliere, Matteo, Waites, William, Pocock, Matthew, Madsen, Curtis, Gilfellon, Owen, Honorato-Zimmer, Ricardo, Zuliani, Paolo, Danos, Vincent, Wipat, Anil

Journal:

Year:

2016

Language:

english

File:

PDF, 1.07 MB

english, 2016

2

The measurement calculus

Danos, Vincent, Kashefi, Elham, Panangaden, Prakash

Journal:

Journal of the ACM

Year:

2007

Language:

english

File:

PDF, 368 KB

english, 2007

3

Determinism in the one-way model

Danos, Vincent, Kashefi, Elham

Journal:

Physical Review A

Year:

2006

Language:

english

File:

PDF, 230 KB

english, 2006

4

Intrinsic information carriers in combinatorial dynamical systems

Harmer, Russ, Danos, Vincent, Feret, Jéro^me, Krivine, Jean, Fontana, Walter

Journal:

Chaos An Interdisciplinary Journal of Nonlinear Science

Year:

2010

Language:

english

File:

PDF, 546 KB

english, 2010

5

Video-Based Detection of Shorelines at Complex Meso–Macro Tidal Beaches

Almar, Rafael, Ranasinghe, Roshanka, Sénéchal, Nadia, Bonneton, Philippe, Roelvink, Dano, Bryan, Karin R., Marieu, Vincent, Parisot, Jean-Paul

Journal:

Journal of Coastal Research

Year:

2012

Language:

english

File:

PDF, 931 KB

english, 2012

6

Cell-induced potentiation of the plasminogen activation system is abolished by a monoclonal antibody that recognizes the NH2-terminal domain of the urokinase receptor

Ebbe Rønne, Niels Behrendt, Vincent Ellis, Michael Ploug, Keld Danø, Gunilla Høyer-Hansen

Journal:

Year:

1991

Language:

english

File:

PDF, 504 KB

english, 1991

7

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Towards Reusing Model Components in Systems Biology

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

8

How liquid is biological signalling?

Vincent Danos, Linus J. Schumacher

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 826 KB

english, 2009

9

Stretch Scheme, a Shell-Model Description of Deformed Nuclei

Danos, Michael, Gillet, Vincent

Journal:

Physical Review (Series I)

Year:

1967

Language:

english

File:

PDF, 1.78 MB

english, 1967

10

The structure of multiplicatives

Vincent Danos, Laurent Regnier

Journal:

Archive for Mathematical Logic

Year:

1989

Language:

english

File:

PDF, 1.23 MB

english, 1989

11

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Brane Calculi

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 219 KB

english, 2005

12

Mannosidase I inhibition rescues the human -sarcoglycan R77C recurrent mutation

Bartoli, M., Gicquel, E., Barrault, L., Soheili, T., Malissen, M., Malissen, B., Vincent-Lacaze, N., Perez, N., Udd, B., Danos, O., Richard, I.

Journal:

Human Molecular Genetics

Year:

2008

Language:

english

File:

PDF, 640 KB

english, 2008

13

Plasminogen Activation by Receptor-Bound Urokinase

Ellis, Vincent, Danø, Keld

Journal:

Seminars in Thrombosis and Hemostasis

Year:

1991

Language:

english

File:

PDF, 1.28 MB

english, 1991

14

Borel Kernels and their Approximation, Categorically

Dahlqvist, Fredrik, Silva, Alexandra, Danos, Vincent, Garnier, Ilias

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 418 KB

english, 2018

15

Agile Modelling of Cellular Signalling (Invited Paper)

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 658 KB

english, 2009

16

Preface

Vincent Danos, Cosimo Laneve

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 93 KB

english, 2007

17

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || VICE: A VIrtual CEll

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 219 KB

english, 2005

18

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Biomimetic in Silico Devices

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 145 KB

english, 2005

19

Proteome analysis of differentiating human myoblasts by dialysis-assisted two-dimensional gel electrophoresis (DAGE)

Florence Gonnet, Belaid Bouazza, Gaël Armel Millot, Simin Ziaei, Luis Garcia, Gillian S. Butler-Browne, Vincent Mouly, Jeanine Tortajada, Olivier Danos, Fédor Svinartchouk

Journal:

Year:

2008

Language:

english

File:

PDF, 619 KB

english, 2008

20

Parsimonious and robust realizations of unitary maps in the one-way model

Danos, Vincent, Kashefi, Elham, Panangaden, Prakash

Journal:

Physical Review A

Year:

2005

Language:

english

File:

PDF, 71 KB

english, 2005

21

Approximating Markov Processes by Averaging

Chaput, Philippe, Danos, Vincent, Panangaden, Prakash, Plotkin, Gordon

Journal:

Journal of the ACM

Year:

2014

Language:

english

File:

PDF, 350 KB

english, 2014

22

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Spatial Modeling and Simulation of Diffusion in Nuclei of Living Cells

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 297 KB

english, 2005

23

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

24

Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage

Terradot, Guillaume, Beica, Andreea, Weiße, Andrea, Danos, Vincent

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 598 KB

english, 2018

25

On the linear decoration of intuitionistic derivations

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx

Journal:

Archive for Mathematical Logic

Year:

1995

Language:

english

File:

PDF, 1.53 MB

english, 1995

26

An information-theoretic measure for patterning in epithelial tissues

Waites, William, Cavaliere, Matteo, Cachat, Elise, Danos, Vincent, Davies, Jamie A.

Journal:

Year:

2018

Language:

english

File:

PDF, 3.16 MB

english, 2018

27

A new deconstructive logic: linear logic

Danos, Vincent, Joinet, Jean-Baptiste, Schellinx, Harold

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 2.95 MB

english, 1997

28

Rigid Geometric Constraints for Kappa Models

Danos, Vincent, Honorato-Zimmer, Ricardo, Jaramillo-Riveri, Sebastián, Stucki, Sandro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 698 KB

english, 2015

29

Giry and the Machine

Dahlqvist, Fredrik, Danos, Vincent, Garnier, Ilias

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 378 KB

english, 2016

30

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 266 KB

english, 2005

31

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Residual Bootstrapping and Median Filtering for Robust Estimation of Gene Networks from Microarray Data

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 302 KB

english, 2005

32

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || The Biochemical Abstract Machine BIOCHAM

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 355 KB

english, 2005

33

Probabilistic game semantics

Danos, Vincent, Harmer, Russell S.

Journal:

ACM Transactions on Computational Logic

Year:

2002

Language:

english

File:

PDF, 250 KB

english, 2002

34

A direct approach to fault-tolerance in measurement-based quantum computation via teleportation

Silva, Marcus, Danos, Vincent, Kashefi, Elham, Ollivier, Harold

Journal:

New Journal of Physics

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

35

Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods

Sachs, Matthias, Leimkuhler, Benedict, Danos, Vincent

Journal:

Year:

2017

Language:

english

File:

PDF, 702 KB

english, 2017

36

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 82 KB

english, 2005

37

Chemical Modification of the Urokinase-Type Plasminogen Activator and Its Receptor Using Tetranitromethane. Evidence for the Involvement of Specific Tyrosine Residues in Both Molecules during Receptor-Ligand Interaction

Ploug, Michael, Rahbek-Nielsen, Henrik, Ellis, Vincent, Roepstorff, Peter, Dano, Keld

Journal:

Year:

1995

Language:

english

File:

PDF, 2.25 MB

english, 1995

38

[IEEE 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO) - Augsburg, Germany (2016.9.12-2016.9.16)] 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO) - Learning in Open Adaptive Networks

Yang, Guoli, Danos, Vincent

Year:

2016

Language:

english

File:

PDF, 6.17 MB

english, 2016

39

Combinatorial Complexity and Compositional Drift in Protein Interaction Networks

Deeds, Eric J., Krivine, Jean, Feret, Jérôme, Danos, Vincent, Fontana, Walter, Parkinson, John

Journal:

Year:

2012

Language:

english

File:

PDF, 1.61 MB

english, 2012

40

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Developing SBML Beyond Level 2: Proposals for Development

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 82 KB

english, 2005

41

Formal Molecular Biology Done in CCS-R

Vincent Danos, Jean Krivine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 356 KB

english, 2007

42

Pauli Measurements are Universal

Vincent Danos, Elham Kashefi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 183 KB

english, 2007

43

Probabilistic coherence spaces as a model of higher-order probabilistic computation

Vincent Danos, Thomas Ehrhard

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 486 KB

english, 2011

44

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || Beta Binders for Biological Interactions

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 175 KB

english, 2005

45

Dirichlet is Natural

Danos, Vincent, Garnier, Ilias

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 418 KB

english, 2015

46

Detecting the Collapse of Cooperation in Evolving Networks

Cavaliere, Matteo, Yang, Guoli, Danos, Vincent, Dakos, Vasilis

Journal:

Scientific Reports

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

47

[IEEE 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FASW) - Augsburg, Germany (2016.9.12-2016.9.16)] 2016 IEEE 1st International Workshops on Foundations and Applications of Self Systems (FAS*W) - Emergent Communities in Socio-cognitive Networks

Danos, Vincent, Honorato-Zimmer, Ricardo

Year:

2016

Language:

english

File:

PDF, 757 KB

english, 2016

48

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || The Biodegradation Network, a New Scenario for Computational Systems Biology Research

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 102 KB

english, 2005

49

Modeling and querying biomolecular interaction networks

Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 266 KB

english, 2004

50

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 3082 || General Stochastic Hybrid Method for the Simulation of Chemical Reaction Processes in Cells

Danos, Vincent, Schachter, Vincent

Year:

2005

Language:

english

File:

PDF, 90 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски